Product Form Queueing Petri Nets: A Combination of Product Form Queueing Networks and Product Form Stochastic Petri Nets
نویسندگان
چکیده
The product form results recently published for Stochastic Petri Nets are combined with the well known product form results for Queueing Networks in the model formalism of Queueing Petri Nets yielding the class of product form Queueing Petri Nets. This model class includes Stochastic Petri Nets with product form solution and BCMP Queueing Networks as special cases. We introduce an arrival theorem for the model class and present an exact aggregation approach extending known approaches from Queueing Networks.
منابع مشابه
On the tra c equations for batch routing queueing networks and stochastic Petri nets
The tra c equations are a set of linear equations, which are the basis for the exact analysis of product form queueing networks, and the approximate analysis of non-product form queueing networks. Conditions characterising the structure of the network that guarantees the existence of a solution for the tra c equations are therefore of great importance. This note provides a necessary and su cien...
متن کاملOn the tra c equations for batch routing queueing networks andstochastic Petri
The traac equations are a set of linear equations, which are the basis for the exact analysis of product form queueing networks, and the approximate analysis of non-product form queueing networks. Conditions characterising the structure of the network that guarantees the existence of a solution for the traac equations are therefore of great importance. This note provides a necessary and suucien...
متن کاملMQNA - Markovian Queueing Networks Analyser
This paper describes the MQNA Markovian Queueing Networks Analyser, a software tool to model and obtain the stationary solution of a large class of Queueing Networks. MQNA can directly solve open and closed product-form queueing networks using classical algorithms. For finite capacity queueing models, MQNA generates Markovian description in the Stochastic Automata Networks (SAN) and Stochastic ...
متن کاملProduct-form and stochastic Petri nets: a structural approach
Stochastic Petri nets (SPN) with product-form solution are nets for which there is an analytic expression of the steady-state probabilities with respect to place markings, as it is the case for product-form queueing networks with respect to queue lengths. The most general kind of SPNs with product-form solution introduced by Coleman et al (and denoted here by SΠ-nets) suffers a serious drawback...
متن کاملOn the Use of Structural Petri Net Analysis for Studying Product Form Equilibrium Distributions of Queueing Networks with Blocking
In this paper we investigate some relations between the Petri net formalism and the queueing networks with blocking. This type of queueing network models are used to represent systems with finite capacity resource constraints, such as production, communication and computer systems. Various blocking mechanisms have been defined in the literature to represent the different behaviours of real syst...
متن کامل